/*  
  -- The Lime II Project -- 

  A tuplespaces-based middleware for coordinating agents and mobile hosts.
  Copyright (C) 2005.
  Gian Pietro Picco, Amy L. Murphy, Lorenzo Bellini.

  This library is free software; you can redistribute it and/or
  modify it under the terms of the GNU Lesser General Public
  License as published by the Free Software Foundation; either
  version 2.1 of the License, or (at your option) any later version.

  This library is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  Lesser General Public License for more details.

  You should have received this copy of the GNU Lesser General Public
  License along with this library; if not, write to the Free Software
  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 
*/

package testing;
import lime2.*;
import java.util.Random;

/**
 * This agent shuts-down the host on whom it is loaded.
 * 
 * @author Gian Pietro Picco
 * @author Amy Murphy
 * @author Lorenzo Bellini
 */

public class Killer implements Runnable 
{
 // identification number	
 private int id = new Random().nextInt(1000); 
 
 /**
  * Constructor method.
  */
 public Killer() 
 {
  // empty
 }
 
 /**
  * Run method.
  */
 public void run()
 {
  System.out.println("Killer " + id + ": kills this host");      
  LimeServer.getServer().shutdown();
 }
 
}